1. Admissible sets and structures
پدیدآورنده : / by Jon Barwise
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع :
رده :
QA9
،.
B379
1975
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Admissible sets and structures. an approach to definability theory /
پدیدآورنده : Barwise, Jon.,Jon Barwise
موضوع : ، Admissible sets,، Definability theory )Mathematical logic(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Admissible sets and structures : an approach to definability theory
پدیدآورنده : Barwise, Jon
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Admissible sets,، Definability theory )Mathematical logic(
رده :
QA
9
.
B29
1975
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. Admissible sets and structures : an approach to definability theory
پدیدآورنده : Barwise, Jon
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Admissible sets,، Definability theory )Mathematical logic(
رده :
QA
9
.
B29
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Handbook of mathematical logic
پدیدآورنده : edited by Jon Barwise, with the cooperation of H. J. Keisler ... )et al(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H32
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. Handbook of mathematical logic
پدیدآورنده : edited by Jon Barwise, with the cooperation of H. J. Keisler ... )et al(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H32
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Hyperproof ]for the Macintosh[
پدیدآورنده : Barwise, Jon
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science,، Logic, Symbolic and mathematical,، Hyperproof,، Macintosh )Computer(
رده :
P
25
.
C28
No
.
42
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. Language, proof, and logic
پدیدآورنده : \ Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic.,منطق
رده :
BC
61
.
B32L32
1999
E
.
Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Language, proof, and logic
پدیدآورنده : / Jon Barwise & John Etchemendy
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic
رده :
BC61
.
B38
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
10. Language, proof, and logic
پدیدآورنده : / Jon Barwise & John Etchemendy
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic
رده :
BC61
.
B38
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. Situations and attitudes
پدیدآورنده : Barwise, Jon.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Semantics )Philosophy(
رده :
B
840
.
B37
1983
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
12. Situations and attitudes
پدیدآورنده : / Jon Barwise and John perry
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : semantics (philosophy)
رده :
B840
.
S53
1983
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
13. Studies in model theor
پدیدآورنده : ]by[ Jon Barwise ]and others[ M. D. Morley, editor,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Model theory
رده :
QA
.
M67
9
.
7
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. Studies in model theory
پدیدآورنده : )by( Jon Barwise )and others( M. D. Morley, editor
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
S78
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
15. The Kleene Symposium : proceedings of the Symposium, held June 18-24, 1978 at Madison, Wisconsin, U.S.A
پدیدآورنده : edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Recursion theory,Congresses ، Intuitionistic mathematics,، Kleene, Stephen Cole, 9091-4991
رده :
QA
9
.
6
.
K53
1978
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
16. The Syntax and semantics of infinitary languages
پدیدآورنده : edited by Jon Barwise
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Infinitary languages
رده :
QA
9
.
S95
1968
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
17. The Syntax and semantics of infinitary languages
پدیدآورنده : edited by Jon Barwise
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Infinitary languages
رده :
QA
3
.
L28
Vol
.
72
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
18. The language of first-order logic
پدیدآورنده : Barwise, Jon
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، First-order logic,، Tarski's world
رده :
P
25
.
C28
No
.
34
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
19. The liar :an essay on truth and circularity
پدیدآورنده : Barwise, Jon.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Liar paradox
رده :
BC199
.
P2
B37
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
20. The liar : an essay on truth and circularity
پدیدآورنده : Barwise, Jon
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Liar paradox
رده :
BC
199
.
P2B37
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)